prove that (1 tan a)(1 tan b)=2